“V-TEST for FlexRay” – Verification Tool for the FlexRay Communication System
نویسنده
چکیده
83 NEC TECHNICAL JOURNAL Vol.1 No.1/2006 Our Systems Solutions Division had previously developed V-TEST (Verification Tool for Embedded SysTems), which later became the basis of V-TEST for FlexRay. V-TEST was a tool for improving the efficiency of verification of the hardware/software coordination of embedded systems as well as of the systems themselves. In the following we would like to begin the description with that of V-TEST.
منابع مشابه
On the Formal Verification of the FlexRay Communication Protocol
We present ongoing work on the formal analysis of the FlexRay communication protocol. Isabelle/HOL, a theorem prover for Higher Order Logic, is chosen as our specification and verification system. Essential properties of the FlexRay protocol are identified, formalized and verified. In particular, we show our formal verification of the FlexRay bus guardian component. Furthermore, some insights f...
متن کاملAn Automated Model Based Design Flow for the Design of Robust FlexRayTM Networks
The enormous increase of vehicle functions realized through electronic components significantly impacts the communication within the vehicle network. More functions are requesting higher bandwidth; safety applications require a deterministic communication scheme to ensure reliable system performance even under harsh real world conditions. The new FlexRay vehicle communication standard addresses...
متن کاملA Generic Tool for Systematic Tests in Embedded Automotive Communication Systems
Systematic Test of Embedded Automotive Communication Systems is the focus of the so-called STEACS project a partnership between academia and industry. The main emphasis in respect of automotive communication systems is laid on the communication protocol FlexRay. The goal is to achieve a systematic test approach and to evaulate the feasibility by corresponding prototype implementations. This pap...
متن کاملSimulation based timing analysis of FlexRay communication at system level
In modern cars the communication infrastructure consists of different application specific bus systems that are interconnected with each other. Due to the growing complexity of the communication infrastructure, the corresponding timing analysis at system level is currently a hot topic in the automotive industry. FlexRay is a state-of-the-art fieldbus for cars. While FlexRay simulations below sy...
متن کاملA FlexRay/CAN Vehicle Communication Network for an Anti-Lock Braking System Based on X-by-Wire Technology
In this study, a new FlexRay vehicle communication network was integrated with the current mainstream network CAN. The FlexRay network was connected by a hybrid topology to a brake-bywire node to implement an x-by-wire control system. The CarSim software was combined with LabVIEW and interface cards to construct and test the active safety of a simulated car. An anti-lock braking system (ABS) no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006